例句與造句

1. A logic L can then be constructed in which the provable theorems are the totality of theorems provable with the help of the L1, L2, & etc . Thus Turing showed how one can associate a logic with any constructive ordinal.
2. It's difficult to find constructive ordinal in a sentence. 用constructive ordinal造句挺難的